Gödel's second incompleteness theorem

The second theorems of Gödel’s incompleteness theorems states that the system cannot demonstrate its own consistency.

See also

• Gödel’s first incompleteness theorem